Видео с ютуба Rust Microkernel

Nonos-Kernel Build instructions and ELF binary check (x86_64 Bare Metal 64-bit ELF image) Part one

Rust-based Drivers and Verified Rust Applications on seL4 - Robert VanVossen, Dornerworks

Redox OS pode ser o futuro dos sistemas operacionais?

Redox OS A safety first microkernel developed in Rust

Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using H... J. Hatcliff

20160129 Writing a microkernel in Rust @ CUHKOIL

7.3. Implementação de Tarefas em Sistemas Pequenos (parte 3 de 3) - Microkernel

Magnetite: Rust-Based OS Services for seL4 - Juliana Furgala, MIT Lincoln Laboratory

2i: Zack Pierce: FerrOS – Rust-y unikernels on seL4

A microkernel written in Rust Porting the UNIX like Redox OS to Armv8 A case study of Rust as a la

Rust On L4Re Safe Language Meets Safe Microkernel

Jeremy Soller: "10 Years of Redox OS and Rust" | RustConf 2025

Redox OS: NOVO Sistema Operacional SEGURO com MicroKernel em Rust

Microkernels

YVR18-509: Redox OS - a Rust microkernel on Arm

Redox OS 0.8 is out for this research micro kernel written in Rust!

Redox OS A safety-first microkernel developed in Rust

Redox Rust OS 0.3.3

A microkernel written in Rust: Porting the UNIX-like Redox OS to Armv8 A case study of Rust as a la…

Linux и Rust #linux #rust